this study aimed to examine cross-cultural differences in performing refusal of requests between persian native speakers (pnss) and english native speakers (enss) in terms of the frequency of the semantic formulas. also examined in this study was whether persian efl learners would transfer their l1 refusal patterns into the l2, and if there would be a relation between their proficiency level an...

This short paper is focused on the formal semantic model: Universal Semantic Code (USC), which acquires a semantic lexicon from thesauruses and pairs it with formal meaning representation. The USC model postulates: Knowledge Inference (KI) is effective only on the basis of Semantic Knowledge Representation (SKR). The USC model represents formalized meanings of verbs and phrasal verbs as a main ...

The increasing use of automatic computer processing of information re-quests a new approach in mathematical formula editors. We are used toWYSIWYG editors that produce beautiful presentation of formula. The newICT services, such as database searching or calculation web-services, requirestoring the semantic information behind a formula. This can only be donewith a new generat...

This paper aims at studying the speech act of congratulation in Persian and English with regard to semantic formulas. To gather the semantic formulas related to congratulation, the researchers chose 100 movies (50 in Persian and 50 in English) as the instrument of the study. The only model of cross-cultural comparison was related to that of Elwood (2004). Therefore, we used Elwood’s model as th...

The article attempts to analyze the functioning of colloquial discursive formula da net in everyday Russian speech, which is implemented as an independent indivisible sentence. integral and frequent element speech. analysis was based on transcripts corpus speech “One Speaker’s Day”, one most representative linguistic resources for oral discourse today. specific material user subcorpus, includes...

Scientific texts domain keyword is one of the basic elements of the text high-level semantics acquisition, domain ontology building and the knowledge representation in semantic grid, knowledge grid and escience environment. It is also the indispensable foundation and prerequisite work of Web scientific texts automatic classification, clustering and personalized services. TFIDF based TDDF formul...

Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the results of a QBF solver not only ensures correctness, but also enables certain synthesis and verification tasks. To date the certificate of a true formula can be in the form of either a syntactic cube-resolution proof or a semantic Sk...

Autonomous system needs to do a great deal of reasoning during execution in order to provide timely reactions to changes in their environment. Data needed for this reasoning process is often provided through a number of sensors. One approach for this kind of reasoning is evaluation of temporal logical formulas through progression. To evaluate these formulas it is necessary to provide relevant d...